“Metode formale pentru modelarea, analiza și optimizarea dinamică a traficului rutier” (2025) in Smart Urban Development - Dezvoltare Urbană Inteligentă. Book Series (Smart Governance), pp. 171–174. Available at: https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/61 (Accessed: 20 June 2025).