Embedded system environment: A framework for TLM-based design and prototyping | IEEE Conference Publication | IEEE Xplore