A knowledge-based formalization of UBL processes using hybrid programs. - Sidharth Bihary; Suman Roy 001; Tan Zi Han; Kiran Prakash Sawant (COMPUTE, 2012)