Wolff, S. (2012) “Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft”, Technical Report Electronics and Computer Engineering, 1(1). Available at: https://tidsskrift.dk/ece/article/view/21123 (Accessed: 6 May 2024).