Title: Structured Development for Real-Time Systems, Vol. II