CHSM ist ein Sprachen-System zur Spezifikation von parallelen, hierarchischen, endlichen Zustandsautomaten (eine Realisierung von Zustandslisten), um reaktive Systeme zu modellieren und zu steuern. Es verwendet seine eigene Zustands-Spezifikationssprache, die mit C++- oder Java-Code-Fragmenten angereichert werden kann, so wie es Yacc-Grammatiken mit C-Code-Fragmenten machen. Der generierte Code ist vollständig objektorientiert und ermöglicht, mehrere Zustandsautomaten gleichzeitig zu haben. Die Laufzeitbibliothek ist klein,, effizient und Thread-sicher. Sie wird erfolgreich in produktiven Umgebungen wie CERN zur Steuerung von Ausrüstung für Hochenergiephysik-Experimente verwendet. (non)