Multi-version attack recovery for workflow systems · Study