Safety Analysis of Safety-Critical Systems Using State-Space Models | IEEE Journals & Magazine | IEEE Xplore