Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …

For modeling dynamic systems, various graphical modeling formalisms exist. In particular,
rule-based graph transformation formalisms have proven to be adequate, both to capture …

The development, maintenance and documentation of complex systems is commonly
supported by model-driven approaches where system properties are captured by visual …

The intrinsic question of most activities in information science, in practice or science, is
“Does a given system satisfy the requirements regarding its application?” Commonly …