Design of Modular and Distributable Automation Software for PLCs Topics: Distributed Control Systems; Industrial Automation and Robotics; Modeling, Analysis and Control of Discrete-Event Systems In Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 135-141, 2023 , Rome, Italy