1. E. Brinksma. A theory for the derivation of tests. In S. Aggrawal and K.Sabani, editors, Protocol Specification Testing and Verification, volume VIII. Elsevier Science Publishers B.V., North-Holland, 1988.
2. E. Brinksma, J. Tretmans, and L. Verhaard. A framework for test selection. In Proc. of the 11th Symposium on Protocol Specification, Testing Specification, Testing and Verification,Stockholm, June 17–20 1991. international IFIP WG6.1.
3. T. Filkorn E.M. Clarke and S. Jha. Exploiting symmetry in temporal logic model checking. In Computer Aided Verification, pages 451–462. Lecture Notes in Computer Science 697, June-July 1993.
4. A. Sistla E. Emerson. Symmetry and model checking. In Computer Aided Verification, pages 463–478. Lecture Notes in Computer Science 697, June-July 1993.
5. A. Sistla E. Emerson. Utilizing symmetry when model checking under fairness assumptions: an automata-thoeirc approach. In Computer Aided Verification, pages 279–292. Lecture Notes in Computer Science 939, June-July 1995.