The structure of the document is as follows: firstly a set of requirements is set up. Secondly, a number of existing tools are described. Thirdly, a comparison of these tools is made. Finally, the conclusion and a list of references are given.