Yakindu SCT Plugin für die Generierung von endlichen Automaten in Swift