Towards Incorporating Discrete-Event Systems in Secure Software Development. - Sarah-Jane Whittaker; Mohammad Zulkernine; Karen Rudie (ARES, 2008)

Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. - Sarah-Jane Whittaker; Karen Rudie (Discret. Event Dyn. Syst., 2008)

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (Allerton, 2009)

Augmenting Petri nets to model health-care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (WODES, 2010)

Augmenting Petri Nets to Model Health-Care Protocols. - Sarah-Jane Whittaker (2011)

An Augmented Petri Net Model for Health-Care Protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan (IEEE Trans. Autom. Control., 2015)