If Statestep doesn't match what you need for your current project, you may find some of the following links helpful.
Ian Alexander maintains a comprehensive annotated list of general requirements engineering tools.
Another extensive list of RE tools is maintained by Volere.
The Formal Methods Wiki aims to cover many formal methods of specification.Questions, comments? firstname.lastname@example.org