Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories
K. Balzereit, O. Niggemann, in: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), IEEE, 2020, pp. 461–468.