An enhanced Ada run-time system for real-time embedded processors | IEEE Conference Publication | IEEE Xplore