Completeness and consistency in hierarchical state-based requirements. (1996)

by Mats P E Heimdahl, Nancy G Leveson
Venue:IEEE Transactions on Software Engineering,