Holger Mönnich, Jörg Raczkowsky, Heinz Wörn. Model Checking for Robotic Guided Surgery. In Patty Kostkova, editor, Electronic Healthcare - Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers. Volume 27 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 1-4, Springer, 2009. [doi]