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