Verification-enabling interaction model for services in smart space: a TAIS case | IEEE Conference Publication | IEEE Xplore