Formal Modelling of an Air-Trac Control Simulator