Aida Čaušević, C. Seceleanu, P. Pettersson 5 2010. Formal reasoning of resource-aware services Preuzmi PDF + 1 Computer Science