Using equivalence classes for testing programs for safety instrumented systems. - Kezia de Vasconcelos Oliveira; Angelo Perkusich; Kyller Costa Gorgônio; Leandro Dias da Silva; Aldenor Falcao Martins (ETFA, 2013)