Return to Article Details Modelling and Analysis of Microchipped Equipped Number Plate for Car Tracking System Using ‘UPPAAL’ Download PDF