Cosynthesis of energy-efficient multimode embedded systems with consideration of mode-execution probabilities | IEEE Journals & Magazine | IEEE Xplore