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