Causality and Responsibility for Formal Verification and Beyond | Read Paper on Bytez