You are presented with multiple paper abstracts, alongside the associated literature review and chapter titles. Given the provided information, you are going to do a literature review. Please generate a coherent literature review that synthesizes the content, draws connections between different works, highlights major findings, and identifies any gaps in the existing research.

Literature Review Title: Multimedia Internet of Things: A Comprehensive Survey 
Chapter Title:  3) TRAFFIC LIGHTS MANAGEMENT 
1. Abstract of Cited Paper (BIB001):  IoT stands for Internet of things which is defined as an intercommunication of heterogeneous smart devices acting as a single network. In IoT, every device is connected via internet with different devices having different capabilities within a network. IoT is implemented almost in every field of life which is an extension of Wireless Sensor Networks (WSNs). Smart city is implemented through smart nodes in real scenarios to make digital environment in all field of life including smart parking, banking, sewerage system, waste management, environmental monitoring, smart transport and healthcare centers. However, there is a very little practical use of IoT and smart cities infrastructure in real life. In this paper, we have focused on intelligent traffic monitoring system using graph theory and formal methods. Our proposed model has various nodes that are assumed within a city including roads, objects and traffic signals to make a collective intelligent traffic guidance and monitoring system. Many operations including finding shortest path in terms of time and distance, finding specific area within city and finding safest and low rush ways towards the destination. The graph based model is transformed into a formal model using Vienna Development Method-Specification Language (VDM-SL). The proof of correctness is provided by various facilities available in the VDM-SL toolbox.

Literature Review:
An efficient, cost-effective traffic and street light control mechanism based on M-IoT is outlined in BIB001 for smart cities. The solar panel-based streetlights with Direct Current (DC) power supply as a backup along with Light Dependent Resistor (LDR) is used to control the intensity of the light when no vehicle is present in the street. Traffic bollards are used to avoid an accident during red and yellow lights. Cameras are deployed for the surveillance systems. Latif et al. BIB002 proposed the smart city model having intelligent traffic monitoring and guidance system. The proposed model incorporates multimedia data for authentication, verification, registration, authorization, shortest path identification, to high light the congested areas. Public places like schools, colleges, hospitals, hotels, petrol pumps, and banks are considered as objects and are identified by specific IDs. Cameras are used to monitor the flow of traffic. The shortest path is determined based on time or distance. Vienna Development Method-Specification Language (VDM-SL) is opted-in this article for modeling purposes.