Structured Development for Real-Time Systems