Stochastic modeling of a power-managed system: construction and optimization | IEEE Conference Publication | IEEE Xplore