Post-Silicon and Runtime Verification for Modern Processors - Wagner, Ilya; Bertacco, Valeria (Springer US, 2011)