A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements. - Nico Hauff; Elisabeth Henkel; Elisabeth Fünfgeld; Vincent Langenfeld; Andreas Podelski (REFSQ, 2026)