@inproceedings{Ing2016,Author = {Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp},Title = {Computational Analysis of Complex Real-Time Systems - FMTV 2016 Verification Challenge},Year = {2016},Month = {1},Booktitle = {International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)},type = {inproceedings}}@COMMENT{Bibtex file generated on }