High-level System Modeling with SystemC and TLM