@Article{SDM08,
author={A. Sesic and S. Dautovic and V. Malbasa},
title={Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking},
journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
year={2008},

volume={27},
number={2},
pages={},
publisher={},
month={},
note={},
key={}
}