Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. - William W. McLendon Jr.; Richard F. Vidale (Application and Theory of Petri Nets, 1992)