Springer Complex Adaptive Systems Modeling, 15 Feb 2016 Formal specification and analysis of take-off procedure using VDM-SL http://casmodeling.springeropen.com/articles/10.1186/s40294…