1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Supervisory control of timed discrete-event systems;Brandin;IEEE Transactions on Automatic Control,1994
3. Discrete Event Systems Second Edition;Cassandras,2008
4. Deadlock avoidance algorithm for AGVs on a tessellated layout;Fransen;CASE,2022
5. What good are digital clocks?;Henzinger,1992