1. Process and data: Two sides of the same coin?;Reichert,2012
2. Add data into business process verification: Bridging the gap between theory and practice;De Masellis,2017
3. Foundations of data-aware process analysis: a database theory perspective;Calvanese,2013
4. Towards formal analysis of artifact-centric business process models;Bhattacharya,2007
5. Modeling data for business processes;Sun,2014