“Formal methods for modeling, analyzing, and dynamically optimizing road traffic”, in Smart Urban Development - Dezvoltare Urbană Inteligentă, Book Series, 2025, pp. 167–170. Accessed: Jun. 20, 2025. [Online]. Available: https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/60