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.