Knowledge-Guided Methodology for Specification Analysis | IEEE Conference Publication | IEEE Xplore