@inproceedings{jfla12,
  author = {D. de Rauglaudre}
  title = {Vérification formelle de conditions d'ordonnançabilité de tâches temps-réel périodiques scrictes},
  booktitle = {Actes des 23e Journées Francophones des Langages Applicatifs, JFLA,12}.
  address = {Carnac, France},
  month = feb,
  year = {2012},
  url = {http://jfla.inria.fr/2012/}
}