Philipp Rohde On the <i>µ</i>-Calculus Augmented with Sabotage. 142-156 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_10 db/conf/fossacs/fossacs2006.html#Rohde06