4 ms·Framework for Automated Analysis of On-line Scheduling of Firm-Deadline Tasks3 points by user_235711 12y ago