Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier - Vivek Vishal; Sagar Gugwad; Sanjay Singh (CoRR, 2012)