P. Breuer and S. Pickin, “Open Source Verification under a Cloud”, ECEASST, vol. 33, Dec. 2010.