Abstract: Checking design conformance with governing standards, codes, specifications, regulations, and manuals is a mandatory step in designing engineering systems. Automating this design checking process, therefore, is an important ...