Architectures for dependable modern microprocessors - Nikolaos Foutris (2015)