Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking. - Aleksandra Sesic; Stanisa Dautovic; Veljko Malbasa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)