Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Formal scenario-based requirements specification and test case generation in healthcare applications. - Renate Löffler; Matthias Meyer 001; Matthias Gottschalk (SEHC@ICSE, 2010)

Towards Model-based Acceptance Testing for Scrum. - Renate Löffler; Baris Güldali; Silke Geisen (Softwaretechnik-Trends, 2010)