Interrupt Timed Automata with Auxiliary Clocks and Parameters

Béatrice Bérard, Serge Haddad, Aleksandra Jovanović +1

Interrupt Timed Automata (ITA) is an expressive timed model, introduced to take into account interruptions, according to levels. Due to this feature, this formalism is incomparable…