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), p. e2. doi: 10.4108/eai.12-2-2016.151085.