The Thin Kieler SyncCharts Editor (ThinKCharts) is an Eclipse-based SyncCharts modeling environment with advanced features such as structure-based editing, automatic layout and dynamic simulation visualization.

General