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