@Comment {Sun, 25 Jun 2017 03:43:42 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,
  url        = {http://crestic.univ-reims.fr/publication/3080/pdf}
}