Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle. Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. In Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014. pages 53-62, IEEE, 2014. [doi]
Abstract is missing.