Models, Methods, and Tools for Complex Chip Design Selected Contributions from FDL 2012 - Haase, Jan (Springer International Publishing : Imprint: Springer, 2014)