JKind - An infinite-state model checker for safety properties in Lustre - View it on GitHub