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