Transaction Routing and its Verification by Correct Model Transformations | IEEE Conference Publication | IEEE Xplore