HRELTL: a temporal logic for hybrid systems
scientific article; zbMATH DE number 6516965
scientific article