Models, Methods, and Tools for Complex Chip Design - e-kirja, Englanti, 2013