SM

State Machines expressed as tasks with finite activation records.

Run time code (sm.h) is the public domain.
Code generators are BSD-3.

sm.h is now part of uc_tools