@inproceedingsreinkemeierbenvenistedammstierand2015, Author = {Reinkemeier, Philipp and Benveniste, Albert and Damm, Werner and Stierand, Ingo}, Title = {Contracts for Schedulability Analysis}, Year = {2015}, Booktitle = {Proc. Formal Modelling and Analysis of Timed Systems (FORMATS)}, type = {inproceedings} @COMMENTBibtex file generated on