F. Boutekkouk, “Formal Specification and Verification of Communication in Network-On-Chip: An Overview”, Int. J. Recent Contrib. Eng. Sci. IT, vol. 6, no. 4, pp. pp. 15–31, Dec. 2018.