On modeling for pervasive computing environments. - Rodrigo Campiolo; Vivian Cremer; João Bosco M. Sobral (MSWiM, 2007)