Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. - Ricardo Ferreira Martins; Murilo Silva de Camargo; Jean-Marie Farines (SBES, 1996)

Towards Quality Evaluation and Improvement of a MPEG Video Stream. - Ricardo Ferreira Martins; Carlos Alberto Brandão Barbosa Leite; Jean-Marie Farines (LANOMS, 2003)