@InProceedings{Raclet2005a,
  author = {Jean-Baptiste Raclet and Sophie Pinchinat},
  title = {The control of non-deterministic systems: a logical approach},
  booktitle = {Proceedings of the 16th IFAC Word Congress},
  location = {Prague, Czech Republic},
  month = jul,
  year = {2005},
}