Christof Löding, Philipp Rohde: Model Checking and Satisfiability for Sabotage Modal Logic. FSTTCS 2003: 302-313