@Comment {Sat, 29 Apr 2017 09:22:40 GMT}

@InProceedings {CReSTIC-3080,
  author     = {Riera, Bernard and Philippot, Alexandre and Coupat, Rapha{\"e}l and Gellot, Fran\c{c}ois and Annebicque, David},
  title      = {A non-intrusive method to make safe existing PLC Program },
  booktitle  = {9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes},
  address    = {Paris, France},
  month      = sep,
  year       = 2015
}