Automatic verification of data-centric business processesAlin DeutschRichard Hullet al.2009ICDT 2009Conference paper