1. A. Bouajjani, J.-C. Fernandez, N. Halbwachs. Minimal Model Generation, this volume
2. E.M. Clarke, E.A. Emerson, E. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specification: A Practical Approach, POPL 1983
3. E.M. Clarke, D.E. Long, K.L. McMillan. Compositional Model Checker, LICS, 1989
4. R. Cleaveland, J. G. Parrow and B. Steffen. The Concurrency Workbench, Proceeding of the Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, 1989, LNCS 407
5. R. Cleveland, J. G. Parrow and B. Steffen. A Semantics based Verification Tool for Finite State Systems, in the proceedings of the Ninth International Symposium on Protocol Specification, Testing, and Verification; North Holland, 1989