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