Transaction Level Modeling of a Networked Embedded System Based on a Power Line Communication Protocol | IEEE Conference Publication | IEEE Xplore