JQM - Java Quine McCluskey for minimization of Boolean functions.
Accent interfaces and controls systems through goals and policies
just plain WORKS
Generating PLC programs from formal specifications
Emulate MODBUS industrial network with devices.
BACnetRail - BACnet IP network monitoring tool
AMICI enables real-time execution of cyber-physical models (Simulink)
IP Thermostat Managment Tool