@inproceedings{AhrendtPaceSchneider16,
  author    = {Wolfgang Ahrendt and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {{StaRVOOrS --- Episode II}},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Corfu, Greece, October 10--14, 2016, Proceedings, Part I},
  year      = {2016},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  volume    = {9952},
  doi="10.1007/978-3-319-47166-2_28",
  url="http://dx.doi.org/10.1007/978-3-319-47166-2_28",
  series    =  {LNCS},
  publisher =  {Springer}
}