Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems - Katsiri, Eleftheria; Mycroft, Alan (Simulation Modelling Practice & Theory, 2011)