Documentation generator for Common Criteria Evaluation Assurance Level 4