Here is an old thread
http://cs.finescale.com/fsm/tools_techniques_and_reference_materials/f/13/t/135531.aspx