Feature interaction detection by pairwise analysis of LTL properties -- A case study
scientific article; zbMATH DE number 5073683