Formal specification of DSP gateway for data transmission between processor cores of OMAP platform. - Saulo Oliveira Dornellas Luiz; Genildo de Moura Vasconcelos; Leandro Dias da Silva (SAC, 2008)