Frédéric Besson, Thomas P. Jensen, Julien Lepiller: Modular Software Fault Isolation as Abstract Interpretation. SAS 2018: 166-186