Executable assertions for detecting data errors in embedded control systems | IEEE Conference Publication | IEEE Xplore