Model-Based Development of Embedded Systems: The SysWeaver Approach | IEEE Conference Publication | IEEE Xplore