An incremental objective achievement model in computerized procedure execution. - Yeonsub Jung; Yeongcheol Shin; Iksoo Park (Reliab. Eng. Syst. Saf., 2000)

A model for computerized procedures based on flowcharts and success logic trees. - Yeonsub Jung; PoongHyun Seong; ManCheol Kim (Reliab. Eng. Syst. Saf., 2004)