Title: Structured Development for Real-Time Systems : Vol. I