“Metode Formale Pentru Modelarea, Analiza și Optimizarea Dinamică a Traficului Rutier”. Smart Urban Development - Dezvoltare Urbană Inteligentă, Book Series, 2025, pp. 171-4, https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/61.