Li, Jingyue, Altin Qeriqi, Martin Steffen, and Ingrid Chieh Yu. “Automatic Translation from FBD-PLC-Programs to NuSMV for Model Checking Safety-Critical Control Systems”. Norsk IKT-konferanse for forskning og utdanning (November 22, 2016). Accessed November 24, 2024. https://www.ntnu.no/ojs/index.php/nikt/article/view/5486.