Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial interrupt timed automata: Verification and expressiveness.
Information and Computation, Elsevier, 2020, pp.104580.
⟨10.1016/j.ic.2020.104580⟩.
⟨hal-02862629⟩