Boutekkouk, Fateh. “Formal Specification and Verification of Communication in Network-On-Chip: An Overview”. International Journal of Recent Contributions from Engineering, Science & IT (iJES) 6, no. 4 (December 19, 2018): pp. 15–31. Accessed April 26, 2024. https://online-journals.org/index.php/i-jes/article/view/9416.