Q&A and Panel Discussion Panelists: Claire Tomlin (UC Berkeley, moderator), Manfred Broy, Raj Rajkumar, Umit Ozguner, Hamsa Balakrishnan