Bressan, L., Braga, R., Campos, F., & Oliveira, A. 2020 jun 30. An ontology-based approach to support the certification of Safety-Critical Software Product Lines. Anais do SeminĂ¡rio Integrado de Software e Hardware (SEMISH). [Online] :