Breuer, P.; Pickin, S. Open Source Verification under a Cloud. eceasst 2010, 33.