de.cau.cs.kieler.esterel.labeling
Classes 
EsterelLabelProvider