Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models | IEEE Conference Publication | IEEE Xplore