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