Jahanian, F. Mok, Aloysius K. Odechart a Specification Language for Real-Time Systems - 933-947 p. Subjects--Topical Terms: Real-Time SystemsSpecificationRapid Prototyping System