A MODEL OF ACTORS AND GREY FAILURES. - BOCCHI, LAURA; LANGE, JULIEN; THOMPSON, SIMON; VOINEA, A. LAURA (Logical Methods in Computer Science (LMCS), 2023)