Li, J., Qeriqi, A., Steffen, M. and Yu, I.C. 2016. Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. Norsk IKT-konferanse for forskning og utdanning. (Nov. 2016).