M. O. Garcia, K. R. Braghetto, C. Pu, and J. E. Ferreira, “An Implementation of a Transaction Model for Business Process Systems”, JIDM, vol. 3, no. 3, p. 271, Oct. 2012.