HW/SW cosynthesis using statecharts and symbolic timing diagrams | IEEE Conference Publication | IEEE Xplore