SafeMC: A System for the Design and Evaluation of Mode-Change Protocols | IEEE Conference Publication | IEEE Xplore