The MSP.RTL real-time scheduler synthesis tool | IEEE Conference Publication | IEEE Xplore