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). https://doi.org/10.7146/ece.v1i1.21123