https://ali-hort.blogsky.com/1393/01/09/post-3393/Basic-Concepts-and-Taxonomy-of-Dependable-and-Secure-Computing