Requirement consistency checking method for civil aircraft systems based on finite predicate tracing
Peng WANG, Shuting YUE, Fan ZHANG, Lei DONG
Systems Engineering and Electronics . 2024, (1): 205 -218 .  DOI: 10.12305/j.issn.1001-506X.2024.01.24