An integrated approach to high integrity software verification
scientific article; zbMATH DE number 5119743