Li, J., Qeriqi, A., Steffen, M., & 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. Retrieved from https://www.ntnu.no/ojs/index.php/nikt/article/view/5486