method approach is applied in [@Bersani18] and [@BersaniHASE18]. Also, [@c38] inserts online verification mechanisms based on Petri nets inside a distribution middleware.

In the above works, the focus is placed on the design of the software component interactions relative to their timing properties and other behavioral parameters that are modeled. However, the communication across the above components is a key aspect that must be analyzed to achieve communication and interaction infrastructures that support timely interaction and variable conditions such as load peaks or coexistence of components with heterogeneous resource usage patterns. For this purpose, there are also a number of contributions for the design of distribution middleware for CPS as middleware is the key software layer that is capable of abstracting distribution and interaction, masking situations where a node can receive a peak of requests from other nodes; the systems must be resilient to these and other situations, and they have to continue to work at all times. The design of adaptive middleware is provided in OmaCy architecture [@omacy]. In [@FGCSreview] and [@JSAReiser], an analysis of this problem is outlined. In [@CSIcpsmiddleware], the design of a scheme for attending simultaneous requests is provided. In [@RPiDDS], a model for integrating the 