H. Anh Le and N. Thuan Truong, “ Formal Modeling and Verification of Context-Aware Systems using Event-B”, EAI Endorsed Trans Context Aware Syst App, vol. 1, no. 2, p. e4, Dec. 2014.