Verification Of Hierarchical Cache Coherence Protocols For Futuristic Processors. by Xiaofang Chen & David C. Mills