Moacyr Franco M. Neto, Carlos Montez: A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard. SBESC 2011: 139-144