The paper Modular Transformation of Java Exceptions Modulo Errors by Robert Rubbens, Sophie Lathouwers and Marieke Huisman, was accepted at the International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021). Here is the link to the paper.