A formal approach to the semantic specification of data flow diagrams | IEEE Conference Publication | IEEE Xplore