Change Vision, Inc.

Free
It supports design, specification, analysis and verification of complex systems