selected publications chapter Timed Hazard Analysis of Self-healing Systems. Springer eBooks. 112-151. 2013 conference paper Runtime safety analysis for safe reconfiguration. . 2012