Pablo F. Castro, T. S. E. Maibaum. Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 25-43, Springer, 2009. [doi]
Abstract is missing.