Holger Mönnich Jörg Raczkowsky Heinz Wörn Model Checking for Robotic Guided Surgery. 1-4 2009 eHealth http://dx.doi.org/10.1007/978-3-642-11745-9_1 conf/ehealth/2009 db/conf/ehealth/ehealth2009.html#MonnichRW09