1. Bobbio, A., Ciancamerla, E., Minichino, M., Tronci, E.: Stochastic and functional analysis of a public mobile network in a safety critical context. In: European Safety & Reliability Conference (ESREL 2005), June 27-30 (2005)
2. A user guide to hytech,
http://www.eecs.berkeley.edu/~tah/HyTech
3. Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. Softw. Eng. 22(3), 181–201 (1996)
4. Cached murphi web page,
http://www.dsi.uniroma1.it/~tronci/cached.murphi.html
5. Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Venturini Zilli, M.: Exploiting transition locality in automatic verification of finite state concurrent systems. STTT 6(4), 320–341 (2004)