Synthesis of FBD-based PLC design from NuSCR formal specification. - Junbeom Yoo; Sung Deok Cha; Chang Hwoi Kim; Duck Yong Song (Reliab. Eng. Syst. Saf., 2005)