WOLFF, Sune. Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft. Technical Report Electronics and Computer Engineering, [S. l.], v. 1, n. 1, 2012. DOI: 10.7146/ece.v1i1.21123. Disponível em: https://tidsskrift.dk/ece/article/view/21123. Acesso em: 6 dec. 2025.