https://5dok.org/document/4zp6gn0q-quality-assurance-for-dependable-embedded-systems.html