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