Abstraction of polychronous dataflow specifications into mode-automata | IEEE Conference Publication | IEEE Xplore