Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY