Lustre Plug-in for Eclipse with JKind Analysis Support - View it on GitHub