Boutekkouk, F. (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