1. AdjustPan script (April 2000), http://www.win.tue.nl/~lhol/SymmSpin
2. Bošnački, D., Dams, D.: Integrating real time into Spin: a prototype implementation. In: Budkowski, S., Cavalli, A., Najm, E. (eds.) Proc. of FORTE/PSTV 1998 (Formal Description Techniques and Protocol Specification, Testing and Verification), Paris, France, October 1998, pp. 423–438 (1998)
3. Bošnački, D., Dams, D., Holenderski, L.: A Heuristic for Symmetry Reductions with Scalarsets. In: FORTE 2000 (The 13th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols) (2000) (submitted to)
4. Clarke, E.M., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Formal Methods in System Design 19, 77–104 (1996)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)