Mathias Nickl, Stefan Jörg, Gerd Hirzinger. The Virtual Path: The Domain Model for the Design of the MIRO Surgical Robotic System. In Hideki Hashimoto, Haruhisa Kawasaki, editors, 9th IFAC Symposium on Robot Control, SyRoCo 2009, Gifu, Japan, September 9-12, 2009. Volume 42 of IFAC Proceedings Volumes, pages 1-7, International Federation of Automatic Control, 2009. [doi]