1. Ben-David, S., Heyman, T., Grumberg, O., Schuster, A.: Scalable distributed on-the-fly symbolic model checking. In: Proceedings of Formal Methods in Computer-Aided Design, pp. 390–404 (2000)
2. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric SPIN. International Journal on Software Tools for Technology Transfer (2002)
3. Brat, G., Havelund, K., Park, S., Visser, W.: Java PathFinder – a second generation of a Java model-checker. In: Proceedings of the Workshop on Advances in Verification (July 2000)
4. Chan, W., Anderson, R.J., Beame, P., Jones, D.H., Notkin, D., Warner, W.E.: Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering 27(2), 170–190 (2001)
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)