Detection of Feature Interaction in Requirements Using Temporal Logic

• 使用时序逻辑检测软件需求阶段的特征干扰