Website: http://sourceforge.net/projects/temporallogictimeseries
TemporalLogicTimeSeries is a prototype Python script (not documented) that translates discretized time series into LTL and CTL specifications for NuSMV model checking. The script allows assumptions regarding the monotony, stability and robustness of trajectories that represent time series data.