Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas. - Paulo Roberto Pierri Tepedino; Tereza Gonçalves Kirner (SBES, 1993)

Specification and design of distributed hard real-time systems. - Paulo Roberto Pierri Tepedino; Tereza G. Kirner (PDP, 1995)