Safety of computer architectures - Boulanger, Jean-Louis. (ISTE ; b Wiley, 2010)