A replay mechanism for non-interference real-time software testing and debugging | IEEE Conference Publication | IEEE Xplore