Static enforcement of service deadlines