ByNobleID
    Live Heap Space Bounds for Real-Time Systems | NobleID