Johannes Faber. A timed model for healthcare workflows based on CSP. In Ruth Breu, John Hatcliff, editors, Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012. pages 1-7, IEEE, 2012. [doi]
Abstract is missing.