Anh Le, Hong, and Ninh Thuan Truong. “Formal Modeling and Verification of Context-Aware Systems Using Event-B”. EAI Endorsed Transactions on Context-aware Systems and Applications 1, no. 2 (December 16, 2014): e4. Accessed April 24, 2024. https://publications.eai.eu/index.php/casa/article/view/2037.