Kjærgaard, M. B.; Bunde-Pedersen, J. A Formal Model for Context-Awareness. BRICS 2006, 13.