Uddin, Ijaz, Rakib, Abdur, Haque, Hafiz Mahfooz Ul, "A framework for implementing formally verified resource-bounded smart space systems", Mobile Networks and Applications, 2017