References [1] An overview of model checking practices on verification of PLC software. Software and Systems Modeling (2014). [2] Toward Reliable Programmable Logic Controller Function Block Diagrams.