A tool to support model-based testing activities