Anh Le, H.; Thuan Truong, N. Formal Modeling and Verification of Context-Aware Systems Using Event-B. EAI Endorsed Trans Context Aware Syst App 2014, 1 (2), e4. https://doi.org/10.4108/casa.1.2.e4.