Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving | IEEE Conference Publication | IEEE Xplore