S. Wolff, “Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft”, ECE-TR, vol. 1, no. 1, Jan. 2012.