From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. - Kimaya Bedarkar; Mariam Vardishvili; Sergey Bozhko; Marco Maida; Björn B. Brandenburg (RTSS, 2022)