Wolff, Sune. 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.