“Formal Methods for Modeling, Analyzing, and Dynamically Optimizing Road Traffic”. 2025. In Smart Urban Development - Dezvoltare Urbană Inteligentă, 167-70. Smart Governance. Book Series. https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/60.