Method for analyzing a physical system architecture of a safety-critical system Grant US-11507483-B2 United States of America 22 Nov 2022