Comments on "Automatic analysis of consistency between requirements and designs" | IEEE Journals & Magazine | IEEE Xplore