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