Anh Le, Hong, and Ninh Thuan Truong. 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.