Vierhauser, M., Bayley, S., Wyngaard, J., Cheng, J., Xiong, W., Lutz, R., … Cleland-Huang, J. (2018). Interlocking safety cases for unmanned autonomous systems in urban environments. In 40th International Conference on Software Engineering (p. 2). http://doi.org/10.1145/3183440.3195035