(1)
Breuer, P.; Pickin, S. Open Source Verification under a Cloud. ECEASST 2010, 33.