Formalization of Requirements and Context Parameters for Model-Based Testing of Patient-Specific Medical Systems: Demonstration Using a Suture Anchor Use Case. - Franziska Wieja; Georg Jacobs; Philipp Waigand; Kathrin Boelsen; Thilo Zerwas (Syst., 2026)