2025. Formal methods for modeling, analyzing, and dynamically optimizing road traffic. Smart Urban Development - Dezvoltare Urbană Inteligentă. Book Series. 167–170.