Formal Methods for Modeling, Analyzing, and Dynamically Optimizing Road Traffic. In Smart Urban Development - Dezvoltare Urbană Inteligentă; Smart Governance; Book Series, 2025; pp. 167-170.