High-level System Modeling With Systemc and Tlm