https://123dok.net/document/7qvjgvgq-dependability-engineering-of-complex-computing-systems.html