The ASMETA approach to safety assurance of software systems
scientific article; zbMATH DE number 7495062