Towards automatic state machine reconstruction from legacy PLC using data collection. - Daniil Chivilikhin; Sandeep Patil; Anthony Cordonnier; Valeriy Vyatkin (INDIN, 2019)

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. - Daniil Chivilikhin; Sandeep Patil; Konstantin Chukharev; Anthony Cordonnier; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)