Per visualizzare il file, fai click su questo link: SignalTemporalLogic 2.pdf