An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers | IEEE Conference Publication | IEEE Xplore