Detection of feature interactions using feature-aware verification | IEEE Conference Publication | IEEE Xplore