de.cau.cs.kieler.kies.formatting
Classes 
EsterelFormatter
EsterelValueConverter