Analysing a Missile Simulator with Coloured Petri Nets. - Gordon, Steven; Billington, Jonathan (Int. J. Softw. Tools Technol. Transf., 1998)