Post-Silicon and Runtime Verification for Modern Processors (Springer US, 2011)