Boutekkouk, Fateh. 2018. “Formal Specification and Verification of Communication in Network-On-Chip: An Overview”. International Journal of Recent Contributions from Engineering, Science & IT (iJES) 6 (4):pp. 15-31. https://doi.org/10.3991/ijes.v6i4.9416.