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