Ameyed, D.; Miraoui, M.; Zaguia, A.; Jaafar, F.; Tadj, C. Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Comput. Inform. 2019, 37, 1411-1442.