Vol. 1 No. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft