R. De Masellis, C. Di Francescomarino, C. Ghidini, M. Montali, and S. Tessaris, “Add Data into Business Process Verification: Bridging the Gap between Theory and Practice”, AAAI, vol. 31, no. 1, Feb. 2017.