TY  - RPRT
TI  - Interrupt Timed Automata with Auxiliary Clocks and Parameters
AU  - Béatrice Bérard
AU  - Serge Haddad
AU  - Aleksandra Jovanović
AU  - Didier Lime
PY  - 2014
UR  - https://arxiv.org/abs/1409.2408
ID  - 1409.2408
ER  -