@conference {,
	title = {Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees},
	booktitle = {2018 IEEE Conference on Decision and Control (CDC)},
	year = {2018},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Ferlez, James and Cleaveland, Rance and Marcus, Steven I}
}
