A Protocol Engineering Workbench - IDE, compiler, VM, interpreter, debugger for Estelle (Extended State Transition Language). This is old code; it probably compiles and runs command line tools on Unix, but the editor was written for MS-DOS.