Silhavy, Radek, and Petr Silhavy. Software Engineering Methods In Systems and Network Systems : Proceedings of 7th Computational Methods In Systems and Software 2023, Vol. 2. 1st ed. 2024. Cham: Springer Nature Switzerland , 2024.