Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic

doi 10.1109/tic-sth.2009.5444515