MontiArc is a formal component and connector architecture description language (ADL) for the specification and modeling of cyber-physical systems.