A tool for synthesizing fault tolerant programs from dCTL specifications.