Comments on 'Automatic Analysis of Consistency between Requirements and Designs'

This article comments on "automatic analysis of consistency between requirements and designs".