An application using pinwheel scheduling model | IEEE Conference Publication | IEEE Xplore