selected publications chapter Timed Hazard Analysis of Self-healing Systems. Springer eBooks. 112-151. 2013