@inproceedings{pinchinat02,
  author =	 "M. Nebut and S. Pinchinat",
  title =	 "A decidable Clock Language for Synchronous
                  Specifications",
  volume =	 "65.5",
  booktitle =	 "Electronic Notes in Theoretical Computer Science",
  year =	 2002,
  page =	 ""
}

@TechReport{pinchinat01,
  author =	 "M. Nebut and P. Le Guernic and S. Pinchinat",
  title =	 "Framework to Analyse Synchronous Data-Flow
                  Specifications",
  institution =	 {Institut de Recherche en Informatique et en Systèmes
                  Aléatoires (IRISA)},
  type =	 TR,
  number =	 1402,
  month =	 nov,
  year =	 2001
}