On the Automatic Synthesis of Modular Industrial Cyber-Physical Systems - Mancilla, Angel Eduardo Biskupovic (PQDT - Global, 2024)