Return to Article Details An ontology-based approach to support the certification of Safety-Critical Software Product Lines Download Download PDF