Wang, Zhe, Chalmers, Kevin, Liu, Xiaodong, "Evolution pattern verification for services evolution in clouds with model driven architecture.", , 2013