%0 Journal Article 
%F girault09c
%A Girault, A.
%A Rutten, E.
%T Automating the Addition of Fault Tolerance with Discrete Controller Synthesis
%J Formal Methods in System Design
%8 
%D 2010