@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}
}