@Comment {Sat, 22 Jul 2017 10:37:14 GMT}

@InProceedings {CReSTIC-2356,
  author     = {Riera, Bernard and Philippot, Alexandre and Annebicque, David and Gellot, Fran\c{c}ois},
  title      = {Safe control synthesis based on Boolean constraints for manufacturing systems},
  booktitle  = {8th Symposium on Fault Detection, Supervision and Safety of Technical Processes},
  address    = {Mexico City, Mexico},
  month      = aug,
  year       = 2012
}