Embedded system design specification: merging reactive control and data computation