State propagation for business process monitoring on different levels of abstraction. - David Schumm; Gregor Latuske; Frank Leymann; Ralph Mietzner; Thorsten Scheibler (ECIS, 2011)