Generalized rate-monotonic scheduling theory: a framework for developing real-time systems | IEEE Journals & Magazine | IEEE Xplore