IEC 60870-5-104 protocol tester.
iHome Smart Home System Platform
Floor-level factory/shop automatization control software
Accent interfaces and controls systems through goals and policies
A python based User Interface library.
Generating PLC programs from formal specifications
openSCADA® is an open source SCADA system written in JAVA