Intra- and interdiagram consistency checking of behavioral multiview models
scientific article; zbMATH DE number 6868753