Combining unit and specification-based testing for meta-model validation and verification | Publicación