TY - SER AU - Jahanian, F. AU - Mok, Aloysius K. TI - Odechart a Specification Language for Real-Time Systems KW - Real-Time Systems KW - Specification KW - Rapid Prototyping System ER -