A Logic for Auditing Accountability in Decentralized Systems. - Ricardo Corin; Sandro Etalle; J. I. den Hartog; Gabriele Lenzini; I. Staicu (Formal Aspects in Security and Trust, 2004)