@Comment {Thu, 17 Aug 2017 01:47:14 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