Farrell, Marie, Bradbury, Matthew S., Fisher, Michael, Dennis, Louise A., Dixon, Claire, Yuan, Hu and Maple, Carsten (2019) Using threat analysis techniques to guide formal verification : a case study of cooperative awareness messages. In: SEFM 2019: 17th edition of the International Conference on Software Engineering and Formal Methods, Oslo, Norway, 16-20 Sep 2020. Published in: Software Engineering and Formal Methods. SEFM 2019, 11724 pp. 471-490. ISBN 9783030304454. doi:10.1007/978-3-030-30446-1_25