CBAP - Requirements Analysis and Design Definition - Correctness, Completeness, and Consistency