An object-oriented refinement methodology through the design of a settop-box | IEEE Conference Publication | IEEE Xplore