Testing real-time embedded software using runtime enforcement | IEEE Conference Publication | IEEE Xplore