ByNobleID
    An approach for formal verification of business processes | NobleID