【状態遷移テストのモデリングツール】

現在、ソフトウェアの状態遷移テストを行っているのですが、状態の数が多くなるとモデリングに時間がかかり、テストの時間が減ってしまうという本末転倒な事態に陥っています。
Windows環境で状態遷移マトリックスやステートダイアグラム等を短期間で作成できるようなモデリングツールはありますでしょうか？
無料かつモデルが変わってもツールを使わず用意に出力結果をメンテナンスできるものを望んでいます。

以上、よろしくお願い致します。