Click SignalTemporalLogic 2.pdf link to view the file.