Daniel Kästner, Laurent Mauborgne, Christian Ferdinand: On Software Safety, Security, and Abstract Interpretation. FM 2018: 662-665