Structured Development For Real-Time Systems, Vol IIi by P Ward