Automated Traceability between Requirements and Model-Based Design. - Maria Bonner; Marc Zeller; Gabor Schulz; Dagmar Beyer; Mihaela Olteanu (REFSQ Workshops, 2023)