Return to Article Details Static Type Checking of Model Transformation Programs Download Download PDF