Control and data abstraction: The cornerstones of practical formal verification
scientific article; zbMATH DE number 1862273