@TechReport{GW05,
author={M. Goldsmith and P. Whittaker},
title={A CSP Frontend for Probabilistic Tools},
institution={Formal Systems (Europe Ltd)},
year={2005},

type={},
number={FORWARD Deliverable D14},
address={},
month={June},
note={},
key={}
}