Certifiable software applications 1 : main processes - Boulanger, Jean-Louis (Elsevier, 2016)