Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)

Seo Ryong Koo, Poong-Hyun Seong. Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC). Rel. Eng. & Sys. Safety, 91(6):648-664, 2006. [doi]

Abstract

Abstract is missing.