Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. - Brandt, Christoph; Hermann, Frank; Groote, Jan Friso (Journal of Research & Practice in Information Technology, 2011)