Шкарупило, В. В. WS-BPEL-Modification of TLC-Verification Method. EEJET 2013, 4, 23-28.