Joseph Sifakis
Time progress conditions in hybrid systems are usually specified in terms of invariants, predicates characterizing states where time can continuously progress, or in terms of deadline conditions, predicates characterizing states where time progress immedia ...
1997