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