Software engineering application in systems design : proceedings of 6th Computational Methods in Systems and Software 2022. Volume 1 - Silhavy, Radek; Silhavy, Petr; Prokopova, Zdenka (Lecture notes in networks and systems, 2023)