@Comment {Fri, 26 May 2017 05:23:33 GMT}

@InProceedings {CReSTIC-2301,
  author     = {Riera, Bernard and Annebicque, David and Gellot, Fran\c{c}ois and Philippot, Alexandre and Benlorhfar, Rachid},
  title      = {Control synthesis based on logical constraints for safe manufacturing systems},
  booktitle  = {14th IFAC Symposium on INformation COntrol problems in Manufacturing},
  address    = {Bucarest, Romania},
  month      = may,
  year       = 2012
}