Mauro Iacono Stefano Marrone Nicola Mazzocca Francesco Moscato Valeria Vittorini A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. 499-508 2004 conf/para/2004 PARA http://dx.doi.org/10.1007/11558958_59 db/conf/para/para2004.html#IaconoMMMV04