De Masellis, R.; Di Francescomarino, C.; Ghidini, C.; Montali, M.; Tessaris, S. Add Data into Business Process Verification: Bridging the Gap Between Theory and Practice. AAAI 2017, 31.