@inbook {,
	title = {Scott Smolka and Me},
	booktitle = {From Reactive Systems to Cyber-Physical Systems},
	year = {2019},
	pages = {1{\textendash}6},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Cleaveland, Rance}
}
