Running-modes of real-time systems: a case-study with mode-automata | IEEE Conference Publication | IEEE Xplore