Certification-Driven Testing of Safety-Critical Systems