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, doi: 10.4108/casa.1.2.e4.