Elicit the Requirements on Software Dependability: A Knowledge-Based Approach | IEEE Conference Publication | IEEE Xplore