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