Models, Methods, and Tools for Complex Chip Design - Haase, Jan (Springer International Publishing, 2014)