A SyncChart-Editor based on Yakindu