Christoph Brandt, Frank Hermann 0001, Jan Friso Groote. Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. Australian Computer Journal, 43(1):65-86, 2011. [doi]
Abstract is missing.