Static Timing Analysis for Hard Real−Time Systems

Reinhard Wilhelm‚ Sebastian Altmeyer‚ Claire Burguière‚ Daniel Grund‚ Jörg Herter‚ Jan Reineke‚ Björn Wachter and Stephan Wilhelm