A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard | IEEE Conference Publication | IEEE Xplore