@InProceedings{UlbrichSchreiterEtAl2105,
author = {Mattias Ulbrich and Luzie Schreiter and Sarah Grebing and
J{\"o}rg Raczkowsky and Heinz W{\"o}rn and Bernhard Beckert},
title = {A Concept for Multi-Phase Incremental Formal Verification in
Robotic Guided Surgery},
booktitle = {4th International Workshop on Formal Techniques
for Safety-Critical Systems ({FTSCS} 2015)},
year = {2015},
note = {Work-in-progress Paper}
}