@inproceedings{FHQ+14,
title = { Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software },
author = {Frehse, Goran and Hamann, Arne and Quinton, Sophie and Woehrle, Matthias},
year = {2014},
booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium, {RTSS} 2014, Rome, Italy, December 2-5, 2014},
crossref = {DBLP:conf/rtss/2014},
pages = {53--62},
team = {TEMPO},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/rtss/FrehseHQW14},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
