1. Alur, R., Brayton, R.K., Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Partial-order reduction in symbolic state space exploration. In: Grumberg, Orna (ed.) CAV, vol. 1254 of LNCS, pp. 340–351. Springer, New York (1997)
2. van der Berg, F.I., Laarman, A.W.: SpinS: Extending LTSmin with Promela through SpinJa. In: PDMC 2012, London, UK, ENTCS. Springer, New York (2012)
3. Blom, S.C.C., van de Pol, J.C., Weber, M.: LTSmin: distributed and symbolic reachability. In: CAV, vol. 6174 of LNCS, pp. 354–359. Springer, New York (2010)
4. Chu, D.H., Jaffar, J.: A framework to synergize partial order reduction with state interpolation. In: Yahav, E. (ed.) HVC, vol. 8855 of LNCS, pp. 171–187. Springer, New York (2014)
5. Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking, pp. 1–26. Springer, Berlin (2008)