Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems | IEEE Conference Publication | IEEE Xplore