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