Robustness of temporal logic specifications