Modechart: A specification language for real-time systems (1994)

by F Jahanian, A K Mok
Venue:IEEE TOSE