ByNobleID
    Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra | NobleID