selected publications conference paper Fault-tolerant control synthesis and verification of distributed embedded systems. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014