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 (Dec. 2018), pp. 15–31. DOI:https://doi.org/10.3991/ijes.v6i4.9416.