A verification and deployment approach for elastic component-based applicationsMohamed GraietLazhar Hamelet al.2017Formal Aspects of Computing