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. pp. 15–31. doi: 10.3991/ijes.v6i4.9416.