Scheduling soft real-time jobs over dual non-real-time servers | IEEE Journals & Magazine | IEEE Xplore