Describir: Certification of Safety-Critical Systems: Seeking new approaches toward ensuring the safety of software-intensive systems.