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