A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism | IEEE Journals & Magazine | IEEE Xplore