J. Brüning and A. Wolff, “Declarative Models for Business Processes and UI Generation using OCL”, eceasst, vol. 24, Jan. 2010.