Jingyue Li, Altin Qeriqi, Martin Steffen, Ingrid Chieh Yu: Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK 2016