Basic concepts and taxonomy of dependable and secure computing | Synapse