Anh Le, H. and Thuan Truong, N. (2014) “ Formal Modeling and Verification of Context-Aware Systems using Event-B”, EAI Endorsed Transactions on Context-aware Systems and Applications, 1(2), p. e4. doi: 10.4108/casa.1.2.e4.