A modeling concept for formal verification of OS-based compositional software
scientific article; zbMATH DE number 7770190