A redundancy-based design by event-oriented analysis - Žiha, Kalman (Array, 2003)