O. Vasilecas, R. Dubauskaitė, and R. Rupnik, “Consistency checking of UML business model”, TEDE, vol. 17, no. 1, pp. 133-150, Mar. 2011.