Verification of embedded control systems by simulation and program execution control | IEEE Conference Publication | IEEE Xplore