@inproceedingsIng2016, 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} @COMMENTBibtex file generated on