Automated Synthesis of Timed and Distributed Fault-Tolerant Systems. - Fathiyeh Faghihekhorasani (2015)