Timed hyperproperties
scientific article; zbMATH DE number 7398015
scientific article