Sara Gradara Antonella Santone Gigliola Vaglini Maria Luisa Villani Modular formal verification of specifications of concurrent systems. 5-28 2008 18 Softw. Test., Verif. Reliab. 1 http://dx.doi.org/10.1002/stvr.371 db/journals/stvr/stvr18.html#GradaraSVV08