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