Stav dette: Timing analysis of real-time software : a practical approach to the specification and design of real-time ... / by Leo Motus and Michael G. Rodd.