ANH LE, H.; THUAN TRUONG, N. Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Transactions on Context-aware Systems and Applications, [S. l.], v. 1, n. 2, p. e4, 2014. DOI: 10.4108/casa.1.2.e4. Disponível em: https://publications.eai.eu/index.php/casa/article/view/2037. Acesso em: 3 jul. 2024.