sharifi, zeinab; Mosaffa, M.; Mohammadi, S.; Sirjani, M. Functional and Performance Analysis of Network-on-Chips Using Actor-Based Modeling and Formal Verification. eceasst 2014, 66.