Software engineering for real-time systems - Cooling, J. E. (Addison-Wesley, 2003)