Anh Le, H., & 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), e4. https://doi.org/10.4108/casa.1.2.e4