Metrics for OCL expressions: development, realization, and applications for validation. - Martin Gogolla; Timo Stüber (MoDELS (Companion), 2020)