# A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

> Research article (Computers in Industry, 2020) · cited 20× · AI/ML

**Wikidata**: [openalex:W3094328277](https://www.wikidata.org/wiki/openalex:W3094328277)  
**Source**: https://4ort.xyz/entity/a-methodology-for-automatic-generation-formal-verification-and-implementation-of-safe-plc-programs-for-power-supply-equi