1. Alur R, Dill D (1990) Automata for modeling real-time systems. In: Proceedings of the seventeenth international colloquium on automata, languages and programming. Lecture notes on computer science (LNCS), vol 443. Springer, Berlin, pp 322–335
2. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259–273
3. Brandin BA (1989) The supervisory control of discrete event systems with forcible events. MASc thesis, Department of Electrical and Engineering, University of Toronto
4. Brandin BA (1993) Real-time supervisory control of automated manufacturing systems. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto
5. Brandin BA, Wonham WM (1992) Supervisory control of timed discrete-event systems. In: Proceedings of the thirty-first IEEE conference on decision and control, Tucson, Arizona, pp 3357–3362