Marco Mamei Franco Zambonelli Programming pervasive and mobile computing applications: The TOTA approach. 2009 18 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/1538942.1538945 db/journals/tosem/tosem18.html#MameiZ09