TY - CONF AU - Küster, Jochen AU - Abd-El-Razik, Mohamed ID - 8409 T2 - Proceedings of the workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France) TI - Validation of Model Transformations - First Experiences using a White Box Approach VL - 4364/2007 ER -