A formal AIN Service Creation, Feature Interactions Analysis and Management Environment: An Industrial Application.