Systematic transaction level modeling of embedded systems with SystemC | IEEE Conference Publication | IEEE Xplore