Process Machine Interactions - Denkena, Berend; Hollmann, Ferdinand (Springer Berlin Heidelberg, 2013)