1. The challenge of building process-control software;Leveson;IEEE Softw.,1990
2. Supervisory control of a class of discrete-event processes;Ramadge;SIAM J. Control Optim.,1987
3. Introduction to Discrete Event Systems;Cassandras,2004
4. A process-theoretic approach to supervisory control theory;Baeten,2011
5. Communicating sequential processes;Hoare;Commun. ACM,1978