Researchers receive $16.6 million to boost automotive software quality