TLM+ modeling of embedded HW/SW systems | IEEE Conference Publication | IEEE Xplore