@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}
}
@article {,
	title = {Security assurance cases for medical cyber{\textendash}physical systems},
	journal = {IEEE Design \& Test},
	volume = {32},
	year = {2015},
	pages = {56{\textendash}65},
	author = {Ray, Arnab and Cleaveland, Rance}
}
