Analysis of Ethernet-based safe automation networks according to IEC 61508. - Alberto Elia; Luca Ferrarini; Carlo Veber (ETFA, 2006)