ByNobleID
    Quantifying Similarities Between Timed Systems | NobleID