1. The control of discrete event systems;Ramadge,1989
2. Protocol verification using discrete-event systems;Rudie,1992
3. Smart cars on smart roads: Problems of control;Varaiya;IEEE Trans. on Automatic Control,1993
4. Modeling and analysis of transaction execution in database systems;Lafortune;IEEE Trans. Autom. Control,1988
5. The supervisory control of the automated manufacturing system of the AIP;Brandin,1994