Robustness of temporal logic specifications for continuous-time signals