Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles. - Simon Picard; Antonio Paolillo; Gilles Geeraerts; Joël Goossens (RTNS, 2024)