An Extendible Translation of BPEL to a Machine-verifiable Model. - John C. Sloan; Taghi M. Khoshgoftaar; Augusto Varas (SEKE, 2009)