OKAPI: In Support of Application Correctness in Smart Home Environments | IEEE Conference Publication | IEEE Xplore