Modelling safety-critical devices: coloured petri nets and Z.

Sapna Jaidka, Steve Reeves, Judy Bowen

Browse the full EICS paper archive.