Siamak Rasulzadeh,  Formal Modeling and Verification of Software Models.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    June 2008, vol. 18(6). 1881 - 1887
    [viewed 09 May 2021]. Available from: https://publications.waset.org/pdf/14252.