@inproceedings{reinkemeierbenvenistedammstierand2015,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}}@COMMENT{Bibtex file generated on }