1. Chung, M.-Y., Ciardo, G.: A dynamic firing speculation to speedup distributed symbolic state-space generation. In: IPDPS, IEEE Computer Society Press, Los Alamitos (2006)
2. Chung, M.-Y., Ciardo, G.: Saturation NOW. In: QEST, pp. 272–281. IEEE Computer Society Press, Los Alamitos (2004)
3. Ciardo, G., Jones, R., Miner, A., Siminiceanu, R.: SMART: Stochastic model analyzer for reliability and timing. In: Tools of Measurement, Modelling and Evaluation of Computer-Communication Systems, pp. 29–34 (2001)
4. Lecture Notes in Computer Science;G. Ciardo,2001
5. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: A new symbolic model checker. STTT 2(4), 410–425 (2000)