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. Proceedings of the Integrated Software and Hardware Seminar (SEMISH). [Online] :