Synthesis of Non-Interferent Timed Systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (FORMATS, 2009)

Channel Synthesis for Finite Transducers. - Gilles Benattar; Béatrice Bérard; Didier Lime; John Mullins; Olivier H. Roux; Mathieu Sassolas (Int. J. Found. Comput. Sci., 2012)

Control and synthesis of non-interferent timed systems. - Gilles Benattar; Franck Cassez; Didier Lime; Olivier H. Roux (Int. J. Control, 2015)