Arts'Codes: generation of parallel-automata real-time systems, using a unifying diagrammatic component oriented design methodology

@inproceedings{Teitelbaum2003ArtsCodesGO,
  title={Arts'Codes: generation of parallel-automata real-time systems, using a unifying diagrammatic component oriented design methodology},
  author={Aryeh Teitelbaum and H. G. Medelbaum},
  booktitle={S&P 2003},
  year={2003}
}