DIN IEC /TS 61508-3-2 E:2020
Entwurf eines Dokuments – Anforderungen und Leitlinien für den Einsatz mathematischer und logischer Techniken zur Festlegung exakter Eigenschaften von Software und ihrer Dokumentation (IEC 65A/932/CD:2019); Text in Deutsch und Englisch