A hybrid formal verification approach for QoS-aware multi-cloud service composition | Publicación