A.: Modechart: A Specification Language for Real-Time Systems (1994)

by F Jahanian, Mok
Venue:IEEE Transactions on Software Engineering