See FeatureOrientedDomainAnalysis