@book{347634,
	author = {Yoon, Sanghyun},
	title = {Formal verification of ECML hybrid models with spaceex},
	year = {2017}
}