Refinement and verification in component-based model-driven design
scientific article; zbMATH DE number 5522247
scientific article