Christian Di Biagio Guido Pennella Anna Lomartire Giovanni Cantone Introduction to characterization of monitors for testing safety-critical software. 253-256 2006 conf/icsoft/2006 ICSOFT (1) db/conf/icsoft/icsoft2006-1.html#BiagioPLC06