Abobaker M. Q. Farhan and  Olof M. A. Saif,  UPPAAL-Based Design and Analysis of Intelligent Parking System.   journal   = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology.
    January 2024, vol. 205(1). 66 - 71
    [viewed 27 April 2024]. Available from: https://publications.waset.org/pdf/10013463.