Declarative framework for specification, simulation and analysis of distributed applications - Russo, AM; Ma, J; Lobo, J; Le, F (IEEE Transactions on Knowledge and Data Engineering, 2016)