Embedded system design specification: merging reactive control and data computation | IEEE Conference Publication | IEEE Xplore