Pablo Oliveira Antonino de Assis

• Improving the Consistency and Completeness of Safety Requirements Specifications