Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis | IEEE Conference Publication | IEEE Xplore