Incremental validation of digital TV applications in nested context language. - Rodrigo Costa Mesquita Santos; José Rios Cerqueira Neto; Carlos de Salles Soares Neto; Mário Meireles Teixeira (EuroITV, 2012)

Eventline: representation of the temporal behavior of multimedia applications. - José Rios Cerqueira Neto; Rodrigo Costa Mesquita Santos; Carlos de Salles Soares Neto; Mário Meireles Teixeira (WebMedia, 2012)

Incremental validation of NCL hypermedia documents. - Rodrigo Costa Mesquita Santos; José Rios Cerqueira Neto; Carlos de Salles Soares Neto; Mário Meireles Teixeira (J. Braz. Comput. Soc., 2013)