Robustness of temporal logic specifications for continuous-time signals
scientific article; zbMATH DE number 5612517
scientific article