Antti Pakonen, Teemu Mätäsniemi, Jussi Lahtinen, Tommi Karhela: A toolset for model checking of PLC software. ETFA 2013: 1-6