Add virtual synchrony paper.