Unit Lemmas for Detecting Requirement and Specification Flaws | IEEE Conference Publication | IEEE Xplore