Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. - Hallan William Veiga; Max Hering de Queiroz; Jean-Marie Farines; Marcelo Lopes de Lima (FMICS-AVoCS, 2017)