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