Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool. - Guido Pennella; Christian Di Biagio; Alessandro Colicchia; Gianfranco Pesce; Giovanni Cantone (ISPA Workshops, 2006)