BMCLua: Verification of Lua programs in digital TV interactive applications | IEEE Conference Publication | IEEE Xplore