Formal Modeling and Verification of Smart Traffic Environment with Design Aided by UML
International journal of advanced computer science and applications/International journal of advanced computer science & applications