Media type: E-Article Title: Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery Contributor: Faghih, Fathiyeh; Bonakdarpour, Borzoo imprint: Institute of Electrical and Electronics Engineers (IEEE), 2018 Published in: IEEE Transactions on Dependable and Secure Computing Language: Not determined DOI: 10.1109/tdsc.2016.2596719 ISSN: 1545-5971 Keywords: Electrical and Electronic Engineering Origination: Footnote: