Anh Le, H. and Thuan Truong, N. 2014. Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Transactions on Context-aware Systems and Applications. 1, 2 (Dec. 2014), e4. DOI:https://doi.org/10.4108/casa.1.2.e4.