A model for describing communication between aggregate objects in the specification and design of embedded systems | IEEE Conference Publication | IEEE Xplore