Jim Cordy’s keynote address at the 17th International Software Product Line conference in Tokyo, Japan last week outlined his recent work on the analysis of automotive software models at GM with Manar Alalfi, Tom Dean, Matthew Stephan and Andrew Stevenson.