Calderand Miller. Feature Interaction Detection by Pairwise Analysis of LTL Properties—a Case Study. Springer Nature, 2006, doi:10.1007/s10703-006-0002-5.