Model based debugging and testing of embedded systems without affecting the runtime behaviour | IEEE Conference Publication | IEEE Xplore