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