VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules. - Tuan Nguyen Thanh; Nhan Le Thanh; Ha Hoang Thi Thanh; Thao Ha Thi (ICIIT, 2023)