J. Li, A. Qeriqi, M. Steffen, and I. C. Yu, “Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems”, NIKT, Nov. 2016.