Quality-Driven SystemC Design - Große, Daniel; Drechsler, Rolf (Springer Netherlands, 2010)