PR: 39165 Submitted by: Oliver Braun <obraun@informatik.unibw-muenchen.de>
A graphical tool for designing finite state machines