Safe and timely scenario switching in UML real-time projects | IEEE Conference Publication | IEEE Xplore