Sapna Jaidka, Steve Reeves, Judy Bowen. Modelling safety-critical devices: coloured petri nets and Z. In José Creissac Campos, Nuno Nunes, Pedro Campos 0001, Gaëlle Calvary, Jeffrey Nichols, Célia Martinie, José Luís Silva, editors, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017. pages 51-56, ACM, 2017. [doi]
Abstract is missing.