Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking | IEEE Conference Publication | IEEE Xplore