Structured Development for Real-Time Systems: Vol. I: Introduction and Tools - P. Ward