Liveness and Boundedness of Synchronous Data Flow Graphs | IEEE Conference Publication | IEEE Xplore