Gilles Benattar Franck Cassez Didier Lime Olivier H. Roux Synthesis of Non-Interferent Timed Systems. 28-42 2009 FORMATS http://dx.doi.org/10.1007/978-3-642-04368-0_5 conf/formats/2009 db/conf/formats/formats2009.html#BenattarCLR09