Farhan, A. , Saif, O.. "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, (2024), 18(1), 66 - 71.