Software engineering for real-time systems - COOLING (Addison-Wesley, 2002)