Describir: On the Automatic Synthesis of Modular Industrial Cyber-Physical Systems