Requirement Specification For Real-Time and Hybrid Systems.

Heping He Hussein Zedan Requirement Specification For Real-Time and Hybrid Systems. 269-284 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#HeZ93