Benabbou, A., Nait Bahloul, S. and Philippe, D. 2016. Context-aware approach for formal verification. EAI Endorsed Transactions on Context-aware Systems and Applications. 3, 7 (Feb. 2016), e2. DOI:https://doi.org/10.4108/eai.12-2-2016.151085.