@misc{Hol08,
 author={Georg Holzmann},
 title={aureservoir},
 year={2008},
 note={\url{http://mloss-static.ml.tu-berlin.de/software/view/138/}}
}