Formal methods for modeling, analyzing, and dynamically optimizing road traffic. In: Smart Urban Development - Dezvoltare Urbană Inteligentă. Smart Governance[s.l.] : Book Series,2025. p. 167–170. Disponível em: https://book-series.scrd.eu/index.php/bs/catalog/book/7/chapter/60.. Acesso em: 20 jun. 2025.