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.