Model-Based Test Design in SysML for System Requirements Verification and Validation. - Elif Ugur; Andreas Wübbeke (SWQD, 2025)