Fig. 1From: Formal specification and analysis of take-off procedure using VDM-SLSnapshot of specification using VDM-SL toolBack to article page