Automatic Application of the Data-State Model in Data-Flow Contexts | IEEE Conference Publication | IEEE Xplore