Automatic verification of concurrent systems using a formula-based compositional approach
scientific article; zbMATH DE number 1973098