PSIVIA-HP: Paralelização do algoritmo SIVIA (Set Inversion via Intervalar Analysis) para Plataformas Heterogêneas - Silveira, Luiz Guilherme Hilel Drumond (2013)