Anh Le H, Thuan Truong N. Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Trans Context Aware Syst App [Internet]. 2014 Dec. 16 [cited 2024 Nov. 22];1(2):e4. Available from: https://publications.eai.eu/index.php/casa/article/view/2037