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