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