%O Report 
%F rr-sdc-taf
%A Dumitrescu, Emil
%A Girault, Alain
%A Marchand, Hervé
%A Rutten, Eric
%T Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
%N 6137
%I INRIA
%8 March
%D 2007