Assessing the specification of modelling language semantics: a study on UML PSSM. - Elekes, Márton; Molnár, Vince; Micskei, Zoltán (Software Quality Journal, 2023)