Spectool

Spectool: Automated synthesis of control code for discrete event controllers