Nguyen, H., Kirk, R., Bryans, J., Shaikh, S., & Wartnaby, C. (2023). A formal framework for security testing of automotive over-the-air update systems. Journal of Logical and Algebraic Methods in Programming, 130, p. 100812. doi:10.1016/j.jlamp.2022.100812

Nguyen, Hoang, Rhys Kirk, Jeremy Bryans, Siraj Shaikh, and Charles Wartnaby. "A Formal Framework for Security Testing of Automotive Over-the-air Update Systems." Journal of Logical and Algebraic Methods in Programming 130 (2023): 100812.

Nguyen, Hoang, et al. "A Formal Framework for Security Testing of Automotive Over-the-air Update Systems." Journal of Logical and Algebraic Methods in Programming 130 (2023): 100812.