BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes. - Mark Lindeman; Philip B. Stark; Vincent S. Yates (EVT/WOTE, 2012)