Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery | IEEE Journals & Magazine | IEEE Xplore