Conceptual and formal models for design, adaptation, and control of digital twins in supply chain ecosystems | Synapse