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