Integrating Interface Modeling and Analysis in an Industrial Setting Topics: Component-Based Software Engineering; Domain-Specific Modeling; Model Transformation; Reasoning about Models In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 345-352, 2017 , Porto, Portugal