Q&A and Panel Discussion Panelists: Claire Tomlin (UC Berkeley, moderator), Hamsa Balakrishnan, Manfred Broy, Ümit Özgüner, Raj Rajkumar