@Comment {Sun, 25 Jun 2017 03:43:51 GMT}

@InProceedings {CReSTIC-3128,
  author     = {Riera, Bernard and Philippot, Alexandre and Annebicque, David and Gellot, Fran\c{c}ois},
  title      = {La commande par contraintes logiques de s{\'e}curit{\'e}~: principe, applications et mise en œuvre},
  booktitle  = {10{\`e}me Colloque sur la Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs},
  address    = {Nancy, France},
  month      = nov,
  year       = 2015
}