ByNobleID
    Timing analysis of UML sequence diagrams | NobleID