Implementation Details and Safety Analysis of a Microcontroller-based SIL-4 Software Voter. - Mikel Idirin; Xabier Aizpurua; Almir Villaro; Jon Legarda; Juan Meléndez (IEEE Trans. Ind. Electron., 2011)