@Comment {Tue, 22 Aug 2017 22:28:02 GMT}

@InProceedings {CReSTIC-1207,
  author     = {Marang{\'e}, Pascale and Gellot, Fran\c{c}ois and Riera, Bernard},
  title      = {Synthesis of safety system for the discrete event control},
  booktitle  = {4th international conference on informatics in control, automation and robotics},
  address    = {Angers, France},
  month      = may,
  year       = 2007
}