Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games. - Kerry Moffitt; John Ostwald; Ron Watro; Eric Church (CSI-SE, 2015)