Modeling and Analysis of Distributed Control Systems: Proposal of a Methodology - Tkáčik, Milan (Processes, 2024)