sharifi, zeinab (2014) “Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification”, Electronic Communications of the EASST, 66. doi: 10.14279/tuj.eceasst.66.890.