A pre-run-time scheduling algorithm for hard real-time systems | IEEE Journals & Magazine | IEEE Xplore