State Problems in Programming Human-Controlled Devices | IEEE Conference Publication | IEEE Xplore