Rakib, Abdur, Ul Haque, Hafiz Mahfooz, "A Logical Framework for the Representation and Verification of Context-aware Agents", Mobile Networks and Applications, 2014