Return to Article Details Specification and Verification of Model Transformations Download Download PDF