Workflow Testing. - Ruth Breu; Alexander Lechner; Mathias Willburger; Basel Katt (ISoLA, 2008)