@Comment {Sun, 25 Jun 2017 02:00:17 GMT}

@InProceedings {CReSTIC-2811,
  author     = {Riera, Bernard and Coupat, Rapha{\"e}l and Annebicque, David and Philippot, Alexandre and Gellot, Fran\c{c}ois},
  title      = {Control synthesis based on safety Boolean guards for manufacturing systems: application to a sorting system},
  booktitle  = {10{\`e}me Conf{\'e}rence Francophone de Mod{\'e}lisation, Optimisation et Simulation},
  address    = {Nancy, France},
  month      = nov,
  year       = 2014
}