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

@article{Koo2006SoftwareDS,
  title={Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)},
  author={Seo Ryong Koo and Poong-Hyun Seong},
  journal={Rel. Eng. & Sys. Safety},
  year={2006},
  volume={91},
  pages={648-664}
}