Anh Le, H., and N. Thuan Truong. “Formal Modeling and Verification of Context-Aware Systems Using Event-B”. EAI Endorsed Transactions on Context-Aware Systems and Applications, vol. 1, no. 2, Dec. 2014, p. e4, doi:10.4108/casa.1.2.e4.