Validation of Model Transformations - First Experiences Using a White Box Approach. - Jochen Malte Küster; Mohamed Abd-El-Razik (MoDELS (Workshops), 2006)