Title: Specification Languages for Preserving Consistency Between Models of Different Languages