Element 'automated verification of design documents'