ByNobleID
    A formalism for reasoning about UML activity diagrams | NobleID