Extending transaction level modeling for embedded software design and validation | IEEE Conference Publication | IEEE Xplore