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