Martin Henson, James Dooley, Abdullah Al-Malaise Al-Ghamdi, Luke Whittington: Towards Simple and Effective Formal Methods for Intelligent Environments. Intelligent Environments 2012: 251-258