Modeling of mixed control and dataflow systems in MASCOT | IEEE Journals & Magazine | IEEE Xplore