Stable States Availability GINsimJava software for the construction and analysis of multivalued models