de.cau.cs.kieler.synccharts.viewmanagement
Classes 
Activator
ActiveStateHighlightCombination
StateActivityObserver
StateActivityTrigger