@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},
} 

@ARTICLE{
author={Sesic Aleksandra,Malbasa Veljko D},
year={2002},
title={Formal specification and preliminary design of an asynchronous traffic light controller},
journal={2002 23RD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS},
volume={},
number={},
pages={679-682},
document_type={Proceedings Paper},
}