A formal verification technique for behavioural model-to-model transformations
scientific article; zbMATH DE number 6833745
scientific article