1. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
2. An alternative definition for timed automata composition;Bodeveix,2011
3. Supervisory control of timed discrete-event systems;Brandin;IEEE Trans. Automat. Control,1994
4. Introduction to Discrete Event Systems;Cassandras,2008
5. Supervisory control of timed automata;Gouin,1999