Modelling safety-critical devices: coloured petri nets and Z. - Sapna Jaidka; Steve Reeves; Judy Bowen (EICS, 2017)

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. - Sapna Jaidka; Steve Reeves; Judy Bowen (APSEC, 2019)

Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. - Sapna Jaidka; Steve Reeves; Judy Bowen (FM Workshops (1), 2019)

A Decentralised Mechanism for Secure Cloud Computing Transactions. - Monjur Ahmed; Md. Mahabub Alam Bhuiyan; Sapna Jaidka; Peerumporn Jiranantanagorn (FMEC, 2021)