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