Ullah, S. (2012) Extensive Validation and Debugging of VELA Plugin. Masters thesis, University of Trento.