General schedulers for the pinwheel problem based on double-integer reduction | IEEE Journals & Magazine | IEEE Xplore