Guowei Hou and  Lixin Yu and  Wei Zhuang and  Hui Qin and  Xue Yang,  Formal Verification of Cache System Using a Novel Cache Memory Model.   journal   = {International Journal of Electronics and Communication Engineering}, [online]. World Academy of Science, Engineering and Technology.
    February 2015, vol. 99(3). 721 - 724
    [viewed 20 April 2024]. Available from: https://publications.waset.org/pdf/10000775.