Pragmatic verification and validation of industrial executable SysML models. - Horváth, Benedek; Molnár, Vince; Graics, Bence; Hajdu, Ákos; Ráth, István; Horváth, Ákos; Karban, Robert; Trancho, Gelys; Micskei, Zoltán (Systems Engineering, 2023)