Modellierung von digitalen Systemen mit SystemC by Frank Kesel