Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar. Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. In 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009, Monticello, IL, USA, September 30 - October 2, 2009. pages 652-659, IEEE, 2009. [doi]
Abstract is missing.