Paolo Rocchi Redundancy: The Measurement Crossing Cutting-edge Technologies. 15-20 2005 conf/icinco/2005 ICINCO db/conf/icinco/icinco2005.html#Rocchi05