In this paper, we report on tools for the reengineering of telecommunication systems which we have developed in close cooperation with an industrial partner These tools are based on a variety of ...