TY  - RPRT
TI  - Interrupt Timed Automata: verification and expressiveness
AU  - Béatrice Bérard
AU  - Serge Haddad
AU  - Mathieu Sassolas
PY  - 2012
DO  - 10.1007/s10703-011-0140-2
UR  - https://arxiv.org/abs/1203.6453
ID  - 1203.6453
ER  -