de.cau.cs.kieler.synccharts.text.kitsState.serializer
Classes 
KitsStateSemanticSequencer
KitsStateSyntacticSequencer