Structured Development for Real-Time Systems: Vol. I: Introduction and Tools - Ward (Pearson)