Verifying OCL Operational Contracts via SMT-based Synthesising Topics: Constraint Modeling and Languages; Meta-Modeling: Foundations and Tools In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 249-259, 2020 , Valletta, Malta