Safety of Computer Architectures - Boulanger, Jean-Louis (ISTE, 2010)