Augmenting Digital TV Receivers with REST APIs | IEEE Conference Publication | IEEE Xplore