@Comment {Sat, 29 Apr 2017 09:28:22 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
}