The Power of Freeletics. - Christina Franze; Lena Funk; Lisa Strasser; Sarah Diefenbach (i-com, 2015)

Scalable Redundancy Detection for Real-Time Requirements. - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (RE, 2024)

Scalable Redundancy Detection for Real-Time Requirements (artefact). - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (Zenodo, 2024)