https://5dok.org/document/yr3875xo-challenges-software-verification-validation-activities-space-industry.html