System Design by Daniel D. Gajski, Andreas Gerstlauer & Junyu Peng