Specification Languages for Preserving Consistency Between Models of Different LanguagesMax Emanuel Kramer · First published 2020Open the Tome