Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic. - Tarik Terzimehic; Eddie Groh; Alois Zoitl (ETFA, 2023)