@ARTICLE{
author={Pul Matija,Pekovic Vukota,Vranjes Mario,Grbic Ratko},
year={2018},
title={Automatic Functionality Verification of Hybrid Set-Top Boxes With Dynamic User Interface},
journal={IEEE TRANSACTIONS ON CONSUMER ELECTRONICS},
volume={64},
number={4},
pages={409-417},
document_type={Article},
}