A Conceptual Modeling Approach to Business Service Mashup Development
White-box texting of (ATL) model transformations
On verifying ATL transformations using `off-the-shelf' SMT solvers