CyberWorkBench: integrated design environment based on C-based behavior synthesis and verification | IEEE Conference Publication | IEEE Xplore