DiaSim: a simulator for pervasive computing applications‡. (14th May 2012)