Advanced Tools and Model-Based Analysis for Digital and Software-Defined Systems in Safety-Critical Applications