Documentation Integrity for Safety-Critical Applications: The COHERE Project