Event-oriented analysis fail-safe objects - Žiha, Kalman (Array, 2003)