zeinab sharifi, M. Mosaffa, S. Mohammadi, and M. Sirjani, “Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification”, eceasst, vol. 66, Feb. 2014.