Stochastic modeling of a power-managed system-construction and optimization | IEEE Journals & Magazine | IEEE Xplore