A New Approach to the Analysis of Discrete Event Dynamic Systems

[A12]Ho, Y.C., and Cassandras, C.G.,
A New Approach to the Analysis of Discrete Event Dynamic Systems IEEE Computer Society Press (A.A. Desrochers, Ed.), pp. 206-224, 1989.