Timed and hybrid statecharts and their textual representsriehl (1992)

by Y ND PNOLI K EN, A
Venue:In Formal Techniques in Real-Time and Fault.Tolerant Systems, J. Vytopil, Ed. Lecture Notes in Computer Science