Annika Hinze Petra Malik Robi Malik Interaction design for a mobile context-aware system using discrete event modelling. 257-266 2006 conf/acsc/2006 ACSC http://doi.acm.org/10.1145/1151699.1151728 db/conf/acsc/acsc2006.html#HinzeMM06