Enrico Tronci. "Automatic Synthesis of Control Software for an Industrial Automation Control System." In _Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE)_, 247–250. Cocoa Beach, Florida, USA, 1999. DOI: 10.1109/ASE.1999.802292.