Modellierung von digitalen Systemen mit SystemC: Von der RTL- zur Transaction-Level-Modellierung