Software design for real-time systems - Cooling, J.E (Chapman and Hall, London, 1991)