Data-flow Assisted Behavioral Partitioning For Embedded Systems | IEEE Conference Publication | IEEE Xplore