Bondavalli, Fantechi, Latella, Simoncini, 2001. Design validation of embedded dependable systems 21.. https://doi.org/10.1109/40.958699