Brings together a must-read set of technical papers on one the most talked-about subjects among industry experts. The carefully selected content of this book demonstrates how leading companies, universities, and organisations have developed methodologies, tools, and technologies to integrate, verify, and validate hardware and software systems.