A. Benabbou, S. Nait Bahloul, and D. Philippe, “Context-aware approach for formal verification”, EAI Endorsed Trans Context Aware Syst App, vol. 3, no. 7, p. e2, Feb. 2016, doi: 10.4108/eai.12-2-2016.151085.