D. Ameyed, M. Miraoui, A. Zaguia, F. Jaafar, and C. Tadj, “Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction”, Comput. Inform., vol. 37, no. 6, pp. 1411–1442, Feb. 2019.