@article{girault:hal-00748687, TITLE = {{Automating the Addition of Fault Tolerance with Discrete Controller Synthesis}}, AUTHOR = {Girault, Alain and Rutten, {\'E}ric}, URL = {https://hal.inria.fr/hal-00748687}, JOURNAL = {{Formal Methods in System Design}}, PUBLISHER = {{Springer ; Springer Verlag (Germany)}}, VOLUME = {35}, PAGES = {190--225}, YEAR = {2009}, DOI = {10.1007/s10703-009-0084-y}, HAL_ID = {hal-00748687}, HAL_VERSION = {v1}, }