J. S. Ostroff
-
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proving sequential function chart programs using timed automata
Theoretical Computer Science