Francesco Moscato 0001Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.192-1992015CISIShttps://doi.org/10.1109/CISIS.2015.26https://doi.ieeecomputersociety.org/10.1109/CISIS.2015.26conf/cisis/2015db/conf/cisis/cisis2015.html#Moscato15