Certification-cognizant scheduling of tasks with pessimistic frequency specification | IEEE Conference Publication | IEEE Xplore