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