Another formal proof for Deadline Driven Scheduler | IEEE Conference Publication | IEEE Xplore