Specification Languages for Preserving Consistency between Models of Different Languages