A higher level system communication model for object-oriented specification and design of embedded systems | IEEE Conference Publication | IEEE Xplore