Φουτρής Νικόλαος,, Architectures for dependable modern microprocessors, 2015,