Graph-theoretic method for merging security system specifications
scientific article; zbMATH DE number 5154776