Certifiable Software Applications 3 - Boulanger, Jean-Louis (Elsevier Elsevier, 2018)