ByNobleID
    An event stream driven approximation for the analysis of real-time systems | NobleID