Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system | IEEE Conference Publication | IEEE Xplore