Software engineering methods in systems and network systems : proceedings of 7th Computational Methods in Systems and Software 2023. Vol. 2 - Silhavy, Radek; Silhavy, Petr (Lecture notes in networks and systems, 2024)