HeapGuard, eliminating garbage collection in real-time Ada systems | IEEE Conference Publication | IEEE Xplore