A black-box and contract-based verification of model transformations. - Meriem Lahrouni; Eric Cariou; Abdelaziz El Fazziki (Int. Arab J. Inf. Technol., 2019)