Text this: Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems