Zimmer, P. A Calculus for Context-Awareness. BRICS 2005, 12.