JKind - a Java implementation of the KIND model checker