Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee. Model-based specification of timing requirements. In Luca P. Carloni, Stavros Tripakis, editors, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. pages 239-248, ACM, 2010. [doi]
@inproceedings{BucklGGKL10,
title = {Model-based specification of timing requirements},
author = {Christian Buckl and Irina Gaponova and Michael Geisinger and Alois Knoll and Edward A. Lee},
year = {2010},
doi = {10.1145/1879021.1879053},
url = {http://doi.acm.org/10.1145/1879021.1879053},
tags = {rule-based},
researchr = {https://researchr.org/publication/BucklGGKL10},
cites = {0},
citedby = {0},
pages = {239-248},
booktitle = {Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
editor = {Luca P. Carloni and Stavros Tripakis},
publisher = {ACM},
isbn = {978-1-60558-904-6},
}