Wolff, S. Using Executable VDM++ Models in an Industrial Application - Self-Defense System for Fighter Aircraft. ECE-TR 2012, 1.