Metode Formale Pentru Modelarea, Analiza și Optimizarea Dinamică a Traficului Rutier. In Smart Urban Development - Dezvoltare Urbană Inteligentă; Smart Governance; Book Series, 2025; pp. 171-174.