An efficient approach to detect lack of synchronization in acyclic workflow graphsCédric Favre2010ZEUS 2010