@inproceedings{GezEtAl2015,Author = {Tayfun Gezgin and Björn Koopmann and Achim Rettberg},Title = {Combining an Iterative State-based Timing Analysis with a Refinement Checking Technique},Year = {2015},Month = {11},Booktitle = {Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS'15)},type = {inproceedings}}@COMMENT{Bibtex file generated on }