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