Pakonen, Matasniemi, Lahtinen, Karhela, 2013. A toolset for model checking of PLC software, in: . IEEE.. https://doi.org/10.1109/etfa.2013.6648065