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