Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme. - Jean-Claude Ackad (2000)