Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees | IEEE Conference Publication | IEEE Xplore