@ARTICLE{Jard03a,
  author = {Jard, Claude},
  title = {Synthesis of distributed testers from true-concurrency models of
	reactive systems},
  journal = {International Journal of Information and Software Technology},
  year = {2003},
  volume = {45},
  pages = {805--814},
  editor = {R. Dssouli and F. Khendec},
  keywords = {Monitoring and testing distributed systems},
  publisher = {Elsevier}
}