Towards Simple and Effective Formal Methods for Intelligent Environments | IEEE Conference Publication | IEEE Xplore