The control of completeness and information integrity of design specifications is an important problem of designing complex engineering systems. Computer aided design of textual technical documentation (technical documentation ...