Work-in-Progress: Equivalence of Transformations of Synchronous Data Flow Graphs | IEEE Conference Publication | IEEE Xplore