Kulik, T, Dongol, B, Larsen, P G, Macedo, H D, Schnieder, S, Tran-Jørgensen, P W V & Woodcock, J 2022, ' A Survey of Practical Formal Methods for Security ', Formal Aspects of Computing, vol. 34, no. 1, 3522582 . https://doi.org/10.1145/3522582 Aarhus University