SwiftAutomaton