Designing an extension API for bridging Ginga iDTV applications and home services | IEEE Journals & Magazine | IEEE Xplore