Safe operation of a modular production system via supervisor automata. - Fotis N. Koumboulis; Dimitrios G. Fragkoulis; Benise Siake (MED, 2023)