as one that is useful for the developers. Neither version would be understood
by automated tools. The CONOPS document has been suggested as particularly
helpful for the user. Specifications in formal notation are useable by verification
tools, conversely, specifications that may be understandable to development