Specification Languages for Preserving Consistency between Models of Different Languages - Kramer, Max Emanuel (KIT Scientific Publishing)