In this paper, we consider a syntactic subset of timed automata called integer reset timed
automata (IRTA) where resets are restricted to occur at integral time points. We argue with …

In this paper we present durational actions timed automata, DATA*, as a sub class of timed
automata. In the contrast of TA, the underling semantic of DATA* is the maximality semantics …

Abstract ε-IRTA are a subclass of timed automata with ε moves (ε-TA). They are useful for
modelling global sparse time base used in time-triggered architecture and distributed …