Automatic document generation with CASE on a DOD avionics project | IEEE Conference Publication | IEEE Xplore