Reachability Analysis of Feature Interactions: A Progress Report. - Keith P. Pomakis; Joanne M. Atlee (ISSTA, 1996)