Automatic toolset for fault tolerant design: results demonstration on a running industrial application. - Alberto Manzone; Claudio Genta (IOLTS, 2003)