Kjærgaard, M. B., and J. Bunde-Pedersen. “A Formal Model for Context-Awareness”. BRICS Report Series, vol. 13, no. 2, Feb. 2006, doi:10.7146/brics.v13i2.21908.