A realistic involvement of formal methods
scientific article; zbMATH DE number 1611681