Mats Neovius Kaisa Sere Formal Modular Modelling of Context-Awareness. 102-118 2008 FMCO http://dx.doi.org/10.1007/978-3-642-04167-9_6 conf/fmco/2008 db/conf/fmco/fmco2008.html#NeoviusS08