Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) Formal modelling of safety-critical interactive devices using coloured petri nets. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) A coloured petri net approach to model and analyze safety-critical interactive systems. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED