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.