Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens. Rigorously Defining and Analyzing Medical Processes: An Experience Report. In Holger Giese, editor, Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Volume 5002 of Lecture Notes in Computer Science, pages 118-131, Springer, 2007. [doi]
Abstract is missing.