Will future cars have formally verified powertrain control software? Jyotirmoy V. Deshmukh (with Jim Kapinski, Xiaoqing Jin, Isaac Ito & Ken Butts)
