Brüning, Jens, and Andreas Wolff. “Declarative Models for Business Processes and UI Generation Using OCL”. Electronic Communications of the EASST, vol. 24, Jan. 2010, doi:10.14279/tuj.eceasst.24.333.