Farhan, A. , Saif, O. (2024), 'UPPAAL-Based Design and Analysis of Intelligent Parking System', World Academy of Science, Engineering and Technology, Open Science Index 205, International Journal of Computer and Systems Engineering, 18(1), 66 - 71.