Process-Aware Systems - Jian Cao, Xiao Liu, Kaijun Ren (Springer, 2016)