R. Grosu, X. Huang, S. Jain and S.A. Smolka. Open Source Model Checking. In Proc. of SoftMC'05, the 3rd Workshop on Software Model Checking, July 2005, Edinburgh, UK. Abstract, Full paper

R. Grosu and S.A. Smolka. Monte Carlo Model Checking. In Proc. of TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2005, Edinburgh, UK. Abstract, Full paper