Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems | Publicación