Towards a formal model of autonomic services based on SelfLets. - Stefania Pacifici; Matteo Rossi 001 (PESOS@ICSE, 2009)