15 Feb 2016 Formal specification and analysis of take-off procedure using VDM-SL http://casmodeling.springeropen.com... Formal…