The LTL Checker Plugins: A Reference Manual