Streamlining Compliance to ASPICE, ISO 26262, and ISO/SAE 21434 with Polyspace Static Code Analysis Ficosa International Yolanda Guasch Ficosa International