Formalism and reuse in NoC design. - Dayanne K. F. R. Escale; Karla D. N. Ramos; Cláudia M. F. A. Ribeiro (LASCAS, 2013)