ByNobleID
    Automatic derivation of path and loop annotations in object-oriented real-time programs | NobleID