Nicola Mazzocca Antonella Santone Gigliola Vaglini Valeria Vittorini Efficient model checking of properties of a distributed application: a multimedia case study. 3-21 2002 12 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr12.html#MazzoccaSVV02