3 Markopoulos, Panos Metaxas, G 2007 A formal model of awareness systems that extends the focus - nimbus model Engineering HCI (EHCI conference, IFIP) 22/03/2007