Novo site de Sistemas Críticos: http://www.cin.ufpe.br/~if721