SlackCheck: A Linux Kernel Module to Verify Temporal Properties of a Task Schedule. - Michele Castrovilli; Enrico Bini (ECRTS, 2024)