Herbert Prähofer, Thomas Bohm, Josef Pichler. Deriving a State Model of a Control Program by Symbolic Execution. In 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, July 18-20, 2018. pages 754-759, IEEE, 2018. [doi]
Abstract is missing.