Breuer, P. and Pickin, S. 2010. Open Source Verification under a Cloud. Electronic Communications of the EASST. 33, (Dec. 2010). DOI:https://doi.org/10.14279/tuj.eceasst.33.456.