Controlled Generation of Models with Defined Properties.
Generating realistic test models for model processing tools