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