@booklet {,
	title = {Lagrangian Reachtubes: The Next Generation},
	year = {2020},
	author = {Sophie Gruenbacher and Jacek Cyranka and Mathias Lechner and Md. Ariful Islam and Scott A. Smolka and Radu Grosu}
}
