A Tool for the Verification of Data-Aware Business Processes. - Luca Sabiucciu; Marco Montali; Sergio Tessaris (AI*IA, 2018)