M.: Real time properties for interrupt timed automata (2010)

by B Bérard, S Haddad, Sassolas
Venue:Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME’10), IEEE Computer Society