Accent interfaces and controls systems through goals and policies
Generating PLC programs from formal specifications
Open Source Hardware For Industrial Automation
openSCADA® is an open source SCADA system written in JAVA
OPC UA communication stack written in python
Track lot numbers from an assembly machine connected to a Siemens PLC.