@ARTICLE{
author={Sesic Aleksandra,Dautovic Stanisa,Malbasa Veljko D},
year={2008},
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},
volume={27},
number={2},
pages={403-407},
document_type={Article},
}