@Comment {Tue, 27 Jun 2017 01:54:12 GMT}

@InProceedings {CReSTIC-3081,
  author     = {Coupat, Rapha{\"e}l and Riera, Bernard and Niang, Mohamed and Gellot, Fran\c{c}ois and Meslay, Marc and Philippot, Alexandre and Caron, Herv{\'e} and Annebicque, David},
  title      = {Automatic generation of safe PLC programs},
  booktitle  = {9th IFAC Symposium on Fault Detection, Supervision  and Safety for Technical Processes},
  address    = {Paris, France},
  month      = sep,
  year       = 2015