"Explaining Safety Violations in Real-Time Systems."

Thomas Mari, Thao Dang, Gregor Gössler (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics