Email Record: Guide to verifying safety-critical structures for reusable launch and reentry vehicles.