Ameyed, D. et al. 2019. Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction. Computing and Informatics. 37, 6 (Feb. 2019), 1411–1442.