Software systems control many key parts of society, including government agencies, medical services, utilities, and national ...