@inproceedings{Tay2015, Author = {Tayfun Gezgin Stefan Henkler Achim Rettberg}, Title = {Reducing Re-Validation Efforts for Real-time Systems}, Year = {2015}, Month = {3}, Booktitle = {Model-Based Development of Embedded Systems (MBEES)}, Url = {https://www.in.tu-clausthal.de/index.php?id=1589}, type = {inproceedings} } @COMMENT{Bibtex file generated on }