Automated recertification of a safety critical system Grant US-10796315-B2 United States of America 06 Oct 2020