3 Markopoulos, P. Metaxas, G. 2007 Aware of What: A formal model of awareness systems that extends the focus - nimbus model Engineering HCI (EHCI conference, IFIP)